- assertion box
- вводящий блок
Англо-русский словарь компьютерных и интернет терминов. 2013.
assertion box
Смотреть что такое "assertion box" в других словарях:
Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… … Wikipedia
Logique De Description — Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d application d une manière … Wikipédia en Français
Logique de description — Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d application d une manière … Wikipédia en Français
Logique descriptive — Logique de description Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d… … Wikipédia en Français
Logiques de description — Logique de description Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d… … Wikipédia en Français
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
arts, East Asian — Introduction music and visual and performing arts of China, Korea, and Japan. The literatures of these countries are covered in the articles Chinese literature, Korean literature, and Japanese literature. Some studies of East Asia… … Universalium
UNITED STATES OF AMERICA — UNITED STATES OF AMERICA, country in N. America. This article is arranged according to the following outline: introduction Colonial Era, 1654–1776 Early National Period, 1776–1820 German Jewish Period, 1820–1880 East European Jewish Period,… … Encyclopedia of Judaism
George Weller — ‘otheruses4|the writer|the elderly motorist in a fatal car accident|George Russell WellerGeorge Anthony Weller (1907 ndash;2002) was an American novelist, playwright, and Pulitzer Prize winning journalist for The New York Times and Chicago Daily… … Wikipedia
Jesus — This article is about Jesus of Nazareth. For other uses, see Jesus (disambiguation). Jesus … Wikipedia
